Herman Geuvers: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (11)
Most Popular
List
- List
- Table

1

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Rob Nederpelt, Herman Geuvers

Year:

2014

Language:

english

File:

PDF, 2.35 MB

4.5 / 5.0

english, 2014

2

Type theory and formal proof: an Introduction

Type theory and formal proof: an Introduction

Cambridge University Press

Geuvers, Jan Herman, Nederpelt, R. P

Year:

2014

Language:

english

File:

PDF, 1.92 MB

4.5 / 0

english, 2014

3

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Professor Rob Nederpelt, Professor Herman Geuvers

Year:

2014

Language:

english

File:

PDF, 2.67 MB

4.5 / 4.0

english, 2014

4

Logic Colloquium 2006

Logic Colloquium 2006

Cambridge University Press

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen (Editors)

Year:

2009

Language:

english

File:

PDF, 1.86 MB

0 / 0

english, 2009

5

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

England, Matthew, Geuvers, Herman, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 49.24 MB

0 / 0

english, 2017

6

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Year:

2009

Language:

english

File:

PDF, 2.23 MB

0 / 5.0

english, 2009

7

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Year:

2009

Language:

english

File:

PDF, 2.34 MB

0 / 0

english, 2009

8

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Andreas Abel, Ralph Matthes (auth.), Herman Geuvers, Freek Wiedijk (eds.)

Year:

2003

Language:

english

File:

PDF, 2.94 MB

0 / 0

english, 2003

9

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Year:

2011

Language:

english

File:

PDF, 3.65 MB

0 / 0

english, 2011

10

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Don Batory (auth.), Marko van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.)

Year:

2011

Language:

english

File:

PDF, 4.09 MB

0 / 0

english, 2011

11

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Herman Geuvers (auth.), Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (eds.)

Year:

2009

Language:

english

File:

PDF, 3.41 MB

0 / 0

english, 2009